The Largest Respectful Function
نویسندگان
چکیده
منابع مشابه
The Largest Respectful Function
Respectful functions were introduced by Sangiorgi as a compositional tool to formulate short and clear bisimulation proofs. Usually, the larger the respectful function, the easier the bisimulation proof. In particular the largest respectful function, defined as the pointwise union of all respectful functions, has been shown to be very useful. We here provide an explicit and constructive charact...
متن کاملRespectful Type Converters
In converting an object of one type to another, we expect some of the original object's behavior to remain the same, and some to change. How can we state the relationship between the original object and converted object to characterize what information is preserved and what is lost after the conversion takes place? We answer this question by introducing the new relation, respects, and say that ...
متن کاملRespectful Maternity Care Toolkit
The components of this toolkit can be used by clinicians who are providing maternity care, trainers or educators of clinicians who will be providing maternity care, supervisors of clinicians who provide maternity care, program managers who develop and manage programs with a maternity care component, and by policy makers or other key stakeholders who want to promote RMC in the programs for which...
متن کاملExponential Sums Involving the k-th Largest Prime Factor Function
Letting P k (n) stand for the k-th largest prime factor of n ≥ 2 and given an irrational number α and a multiplicative function f such that |f (n)| = 1 for all positive integers n, we prove that n≤x f (n) exp{2πiαP k (n)} = o(x) as x → ∞.
متن کاملRespectful Type Converters For Mutable Types
In converting an object of one type to another, we expect some of the original object's behavior to remain the same, and some to change. How can we state the relationship between the original object and converted object to characterize what information is preserved and what is lost after the conversion takes place? We answer this question by introducing the new relation, respects, and say that ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Logical Methods in Computer Science
سال: 2016
ISSN: 1860-5974
DOI: 10.2168/lmcs-12(2:11)2016